
//schreibt die Adresse der L1-Tabelle in das CP-Register
long set_L1_address(long* address);
//aktiviert die MMU im Control Register
void enable_MMU();
//setzt Domänenrechte: 0 = kein Zugriff, 1 = Client, 3 = Manager
unsigned long set_domain_rights_0(int rights);
//flusht den TLB
void flush_tlb();
